701. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
702. Principia mathematical
پدیدآورنده : / Alfred North Whitehead and Bertrand Russell
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Wh-P
703. Principles of intuitionism :
پدیدآورنده : A. S. Troelstra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intuition.,Logic, Symbolic and mathematical.
704. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
705. Principles of intuitionism
پدیدآورنده : Trolstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
95
706. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
707. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
708. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
709. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
پدیدآورنده : Logic Congress )0991: Tehran, Iran(
موضوع : ، Logic, Symbolic and mathematical-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
710. Proceedings of the Logic Colloquium :
پدیدآورنده : G H Müller
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logique algébrique -- Congrès.,Modèles, Théorie des -- Congrès.
711. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
712. Proceedings of the Second Scandinavian Logic Symposium.
پدیدآورنده : Ed. by J.E. Fenstad.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.
رده :
QA9
.
S32
1970
713. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده : Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970
714. Proceedings of the Summer School in Logic, Leeds, 1967
پدیدآورنده : / Edited by M.H. Lob
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA3
،.
S96
715. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O.
پدیدآورنده : Summer School in Logic, Leeds, Eng
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
70
716. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
70
717. Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
پدیدآورنده : Edited by M.H. Lob
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L83
1967
718. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
پدیدآورنده : edited by Leon Henkin ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P7
Vol
.
25
719. Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
A1
L63
1990
720. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
